EPTCS 210 Proceedings of the First International Workshop on Hammers for Type
نویسندگان
چکیده
منابع مشابه
On the Expressiveness of Intensional Communication
Thomas Given-Wilson. On the Expressiveness of Intensional Communication. Johannes Borgström and Silvia Crafa. Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, Sep 2014, Rome, Italy. Open Publishing Association, 160, pp.30-46, 2014, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.160.4>. <hal-01026...
متن کاملGoal Translation for a Hammer for Coq (Extended Abstract)
Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no hammers for such systems. We present an extension of the various hammer components to type theory: (i) a translation of a significant part of the Coq logic into the format of automated proof systems; (ii) a proof reconst...
متن کاملWeighted Branching Simulation Distance for Parametric Weighted Kripke Structures
Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting’16/SynCoP’16). EPTCS 220, 2016, pp. 63–75, doi:10.4204/EPTCS.220.6 c © L. Foshammer, K.G Larsen & A. Mariegaard This work is licensed under the Creative Commons Attribution License. Weighted Branching Simulation Distance for Parametric Weighted Kripke Struc...
متن کاملConvergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)
Citation for published version (APA): Bahr, P. (2013). Convergence in infinitary term graph rewriting systems is simple (extended abstract). In R. Echahed, & D. Plump (Eds.), Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013 (pp. 17-28). Open Publishing Association. Electronic Proceedings in Theoretical Computer Science, Vol.. 110, DOI: 10.4...
متن کامل